課程名稱 |
系統晶片驗證 SOC VERIFICATION |
開課學期 |
98-2 |
授課對象 |
電機資訊學院 電子工程學研究所 |
授課教師 |
黃鐘揚 |
課號 |
EEE5023 |
課程識別碼 |
943 U0250 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期五2,3,4(9:10~12:10) |
上課地點 |
電二104 |
備註 |
總人數上限:50人 |
課程網頁 |
http://cc.ee.ntu.edu.tw/~ric/teaching/SoC_Verification/S10/ |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
1.VERIFICATION PROBLEMS IN SOC DESIGNS.
2.BLOCK, SYSTEM, VS. SOC VERIFICATION.
3.SIMULATION-BASED VERIFICATION. TESTBENCH AUTHORING.
4.ASSERTION-BASED VERIFICATION (ABV). PROPERTY SPECIFICATION LANGUAGE.
5.SIMULATION SPEED-UP BY EMULATION. PROTOTYPING VERIFICATION.
6.FORMAL VERIFICATION TECHNIQUES. AUTOMATIC TEST PATTERN GENERATION (ATPG). BOOLEAN SATISFIABILITY (SAT). BINARY DECISION DIAGRAM (BDD).
7.SEMI-FORMAL VERIFICATION.
8.EQUIVALENCE CHECKING. PROPERTY CHECKING.
9.FUTURE SOC VERIFICATION CHALLENGES AND DIRECTIONS.
|
課程目標 |
|
課程要求 |
1.Homework 30%
2.Mid-term exam 30%
3.Final exam or project 40%
|
預期每週課後學習時數 |
|
Office Hours |
另約時間 |
指定閱讀 |
|
參考書目 |
1.“SYSTEM-ON-A-CHIP VERIFICATION - METHODOLOGY AND TECHNIQUES”, PRAKASH RASHINKAR, PETER PATERSON, AND LEENA SINGH, KLUWER ACADEMIC PUBLISHERS.
2.“ASSERTION-BASED DESIGN”, HARRY FOSTER, ADAM KROLNIK, AND DAVID LACEY, KLUWER ACADEMIC PUBLISHERS.
3.“WRITING TESTBENCHES: FUNCTIONAL VERIFICATION OF HDL MODELS”, JANICK BERGERON, KLUWER ACADEMIC PUBLISHERS.
4.CLASS HANDOUTS/SLIDES.
|
評量方式 (僅供參考) |
|
|